R-has-loc(R;i)
== case R of 
== Rnone => false
== Rplus(left,right)=>rec1,rec2.rec1  rec2
== Rinit(loc,T,x,v)=> loc = i
== Rframe(loc,T,x,L)=> loc = i
== Rsframe(lnk,tag,L)=> source(lnk) = i
== Reffect(loc,ds,knd,T,x,f)=> loc = i
== Rsends(ds,knd,T,l,dt,g)=> source(l) = i
== Rpre(loc,ds,a,T,P)=> loc = i
== Raframe(loc,k,L)=> loc = i
== Rbframe(loc,k,L)=> loc = i
== Rrframe(loc,x,L)=> loc = i 

latex

Definitions	es realizer ind, false, p  q, source(l), a = b
FDL editor aliases	R-has-loc